#include "kernel.h"

list *newlist(void);
TCB *newtcbobj(unsigned int sp, unsigned int context, unsigned int stackseg, unsigned int deadline);
msg *newmsgobj(int a);
listobj *newlistobj(TCB *tcbobj, unsigned int,msg *msgobj);
void insertwr(list *insertionlist, listobj *listobj);
void insertwrvalues(list *testlist, int a,unsigned int b,unsigned int c,unsigned int d,unsigned int e,unsigned int f);
void printlist(list *sentlist);
int removeFirst(list *list);
int getSize(list *tmpList);


